Evaluating a Solver-Aided Puzzle Design Tool
نویسندگان
چکیده
Copyright © 2017 for this paper is held by the author(s). Proceedings of MICI 2017: CHI Workshop on Mixed-Initiative Creative Interfaces. Abstract Puzzle game levels generally each admit a particular set of intended solutions so that the game designer can control difficulty and the introduction of novel concepts. Catching unintended solutions can be difficult for humans, but promising connections with software model checking have been explored by previous work in educational puzzle games.
منابع مشابه
Jigsaw Puzzle Solver Using Shape and Color
The jigsaw puzzle assembly problem is significant in that it can be applied to diverse areas such as repair of broken objects , restoration of archaeological findings, molecular docking problem for drug design, etc. This paper describes a new pictorial jigsaw puzzle solver which, in contrast to previous apictorial jigsaw puzzle solvers, uses chromatic information as well as geometric shape. We ...
متن کاملModelling Digital Circuits Problems with Set Constraints
A number of diagnostic and optimisation problems in Electronics Computer Aided Design have usually been handled either by specific tools or by mapping them into a general problem solver (e.g. a propositional Boolean SAT tool). This approach, however, requires models with substantial duplication of digital circuits. In Constraint Logic Programming, the use of extra values in the digital signals ...
متن کاملA Logically Complete Reasoning Maintenance System Based on a Logical Constraint Solver
This paper presents a logically complete assumption based truth maintenance system (ATMS) that is part of a complex blast furnace computer aided piloting system [ 5 ] . This system is built on an e cient and logically complete propositional constraint solver that has been successfully used for industrial applications in computer aided design.
متن کاملJigsopu: Square Jigsaw Puzzle Solver with Pieces of Unknown Orientation
In this paper, we consider the square jigsaw puzzle problem in which one is required to reassemble the complete image from a number of unordered square puzzle pieces. Here we focus on the special case where both location and orientation of each piece are unknown. We propose a new automatic solver for such problem without assuming prior knowledge about the original image or its dimensions. We us...
متن کاملAccurate capacitance and RC extraction software tool for pixel, sensor, and precision analog designs
This paper presents a new CAD tool – F3D – for accurate 3D capacitance and distributed RC model extraction for image sensor designs. F3D overcomes limitations of existing parasitic extraction tools and field solvers, and enables a predictive accurate capacitance extraction and distributed RC model generation, automated identification of all relevant capacitive coupling components, including lon...
متن کامل